Modern static code analysis: what it can and what linters cannot

  • Stream 1
  • Intramural
  • 12:10
  • RU

Статический анализ появился почти 40 лет назад.
В своём докладе мы хотим показать, чему за это время научились статические анализаторы.
Мы рассмотрим различные методики анализа, как они появлялись и какие ошибки можно найти с помощью них.
Посмотрим на примеры ошибок, найденных PVS-Studio в Open Source проектах.
Поговорим о том, чем статический анализатор отличается от "линтеров" и некоторых других инструментов, а также какие проблемы решает современный статический анализатор C++ кода, помимо собственно анализа кода.

Presentation

Pavel Belikov

Architect, PVS-Studio, Tula, Russia

Architect at PVS-Studio team. Oversees static analyzer's core development as well as Linux and macOS versions. Uses Visual Studio as well, when it's necessary.

Look The Report Video